((v1 v2 2) (v1 v3 9) (v2 v3 7) (v1 v4 0) (v2 v4 5) (v3 v4 7) (v1 v5 1) (v2 v5 6) (v3 v5 5) (v4 v5 9) (v1 v6 9) (v2 v6 2) (v3 v6 2) (v4 v6 1) (v5 v6 0) (v1 v7 5) (v2 v7 2) (v3 v7 6) (v4 v7 5) (v5 v7 9) (v6 v7 4))
93
((v2 v5) (v3 v6) (v4 v2))